module com.package1.classPropertyAnnotations

class UserDefinedAnnotation extends Annotation {
  messageOpt: String?
  messageReq: String
}

class ClassWithAnnotatedProperty {
  @UserDefinedAnnotation {
    messageReq = "Hi!"
  }
  propertyUserDefinedAnnotation: Int = 42
}
